منابع مشابه
Predicate Subtyping with Predicate Sets
We show how PVS-style predicate subtyping can be simulated in HOL using predicate sets, and explain how to perform subtype checking using this model. We illustrate some applications of this to specification and verification in HOL, and also demonstrate some limits of the approach. Finally we report on the effectiveness of a subtype checker used as a condition prover in a contextual rewriter.
متن کاملPredicate Classes
Predicate classes are a new linguistic construct designed to complement normal classes in objectoriented languages. Like a normal class, a predicate class has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The pred...
متن کاملPredicate logic
Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...
متن کاملPredicate Complements
This paper briefly presents the canonical HPSG treatment of predicate complements (Section 1) and points out a number of problems with it (Section 2). Then it presents an alternative (Section 3) and shows how it avoids or solves the problems with the canonical treatment (Section 4). 1 The raising treatment of the predicate complements In mainstream HPSG predicate complements are treated along t...
متن کاملPredicate Abstraction
Designing basic protocols, used in networking, security and multiprocessor systems is hard. All of these have to deal with concurrency, that is the actions of multiple agents in parallel. This makes their design error-prone since all possible interactions between the various agents in the system have to be considered. In addition to concurrency, many of these protocols are designed to work with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2020
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-020-09552-x